open structures

// ------------------------------------------------------------
//  CIC - Connectore Instance Configuration
// ------------------------------------------------------------

// Connectore Instance Configuration

one sig CIC {
	ca: one CA,
	rmap: DRR one -> lone DRURMapping,
	//features: FT set -> lone FV,
}

// DR-Unit-Role Mapping

sig DRURMapping {
	unit: one FullFledgedEA,
	signature: one S,
	role: one CSR,
}

// FullFledgedEA

sig FullFledgedEA {
	ea: one EA,
	portSignatures: EAP set -> lone S,
	subElements: EASE lone -> lone FullFledgedEA,
	node: one ND,
	//features: FT set -> lone FV,
	//attributes: AT set -> lone AV
}
